\section{Clause Struct Reference}
\label{structClause}\index{Clause@{Clause}}
{\tt \#include $<$structure.h$>$}

Collaboration diagram for Clause:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=79pt]{structClause__coll__graph}
\end{center}
\end{figure}
\subsection*{Data Fields}
\begin{CompactItemize}
\item 
int {\bf etat}
\item 
int {\bf card}
\item 
int {\bf taille}
\item 
{\bf Litteral} $\ast$ {\bf tete}
\end{CompactItemize}


\subsection{Detailed Description}




Definition at line 44 of file structure.h.

\subsection{Field Documentation}
\index{Clause@{Clause}!etat@{etat}}
\index{etat@{etat}!Clause@{Clause}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}int {\bf Clause::etat}}\label{structClause_8b9cfd45f65f56100b5b235722d2facc}




Definition at line 47 of file structure.h.

Referenced by affecte\-Litteral(), affecte\-Litteraux\-Purs(), afficher\-Formule(), creer\-Clause(), and libere\-Variable().\index{Clause@{Clause}!card@{card}}
\index{card@{card}!Clause@{Clause}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}int {\bf Clause::card}}\label{structClause_e3959eb55529fe85250eff4bf2a2582e}




Definition at line 49 of file structure.h.

Referenced by affecte\-Litteral(), affecte\-Mono\-Litteraux(), afficher\-Clause(), charger\-Formule(), creer\-Clause(), and libere\-Variable().\index{Clause@{Clause}!taille@{taille}}
\index{taille@{taille}!Clause@{Clause}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}int {\bf Clause::taille}}\label{structClause_14b5f37ffea80f798a1f76f2eacd5d19}




Definition at line 51 of file structure.h.

Referenced by affecte\-Litteral(), affecte\-Mono\-Litteraux(), afficher\-Clause(), charger\-Formule(), creer\-Clause(), and libere\-Variable().\index{Clause@{Clause}!tete@{tete}}
\index{tete@{tete}!Clause@{Clause}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}{\bf Litteral}$\ast$ {\bf Clause::tete}}\label{structClause_cd2364768007342cca38da09b0c0df30}




Definition at line 53 of file structure.h.

Referenced by affecte\-Mono\-Litteraux(), afficher\-Clause(), ajouter\-Litteral\-Clause(), creer\-Clause(), and free\-Clause().

The documentation for this struct was generated from the following file:\begin{CompactItemize}
\item 
/home/jeanlouis/Faculte/Master SIS/S2/Intelligence Artificielle/dpcsolver/{\bf structure.h}\end{CompactItemize}
